Программирование на Эликсире: код как данные: гомоиконная природа Эликсира

Природа гомоиконности

Гомоиконный язык: Язык, в котором внутреннее представление выражается непосредственно в самом языке. В Эликсире исходный код — это не просто текст; это вложенная структура данных, известная как абстрактное синтаксическое дерево (АСД).

1. Правила логического представления

Эликсир упрощает АСД, представляя базовые литералы как самих себя. Атомы, числа, списки (включая ключевые списки), бинарные строки и кортежи из двух элементов представляются внутренне без сложного обертывания.

iex> quote do: [do: 1]
[do: 1]
iex> quote do: "binaries"
"binaries"

2. Структура кортежа АСД

Большинство преобразований кода приводят к трёхэлементному кортежу: {имя_функции, метаданные, аргументы}. Например, вызов функции, такой как 1 + 2 становится {:+, [line: 1], [1, 2]}. Это позволяет языку рассматривать код как данные.

3. Макросы: отложенное выполнение

Макросы — это «способ отложить выполнение фрагментов кода, вставляя код обратно во внутреннее представление нашей программы». В то время как обычные функции вычисляют аргументы до вызова, макросы получают исходный АСД, что позволяет внедрять логику до компиляции.

$$\text{Исходный код} \xrightarrow{\text{Quote}} \text{Кортеж АСД} \xrightarrow{\text{Макрос}} \text{Преобразованный АСД}$$

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which of the following is represented internally as itself in Elixir's AST?

A function definition

A list of integers

An if/else expression

A module alias

QUESTION 2

What does Code.string_to_quoted("a + b") return?

A binary string "a + b"

{:ok, {:+, [...], [{:a, [...], nil}, {:b, [...], nil}]}}

[a: :+, b: :+]

:ok

QUESTION 3

What is 'Success Typing' in the context of Elixir and Dialyzer?

A requirement that all functions have explicit types.

An inference system that assumes code is correct until it finds a contradiction.

A way to force runtime checks on all variables.

The process of compiling Elixir to BEAM bytecode.

QUESTION 4

How does an Umbrella project structure applications?

One massive file with multiple module definitions.

A lightweight mix file with an apps directory containing subprojects.

A series of microservices communicating over TCP.

A cloud-based repository with no local files.

QUESTION 5

Why would you use the after clause in a try block?

To catch only ArithmeticErrors.

To ensure code runs regardless of whether an exception was raised.

To retry the operation three times.

To define a new macro.